perm filename CS206[E82,JMC] blob sn#678293 filedate 1982-09-16 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cs206[e82,jmc]		Description of CS206 for "Mathematical Sciences Handbook"
C00004 ENDMK
CāŠ—;
cs206[e82,jmc]		Description of CS206 for "Mathematical Sciences Handbook"

The student taking CS206, Recursive Programming and Proving, will
probably already have taken an introductory computer science course,
including programming in a language like Pascal, Fortran or Basic.
In CS206 he will learn about a different kind of programming,
emphasizing recursively defined functions and computing with symbolic
expressions, including the algebraic and calculus expressions he has studied
in mathematics courses.  He will also learn about the emerging
theory of proving computer programs correct and will have the
opportunity to check some of his correctness proofs using a computer
program.